ELLPACK 系统及其内部机制

解题环境旨在最大限度地方便用户求解问题。ＥＬＬＰＡＣＫ是求解椭圆型偏微分方程的解题环境。本文分析了它的内部机制,并为它增加了一个线性方程识别器。     

聚氨酯防腐涂料综述

介绍了聚氨酯防腐涂料的种类、成分及其性能,并与现有的防腐涂料进行了比较。     

高炮指挥仪智能语音报读器设计

介绍了一种用于高炮指挥仪的智能语音报读器。给出了系统的组成。说明了其工作原理、硬件组成及软件框图。     

在线估计表面粗糙度的神经网络多传感器融合方法

针对机床智能加工对加工状况监测的要求,文中提出一种在线估计表面粗糙的神经网络多传感器融合方法,用该方法可获得表面粗糙度的较好估计。文中论述了该方法的特征提取,维数压缩和归一化等预处理方法,神经网络的构造及训练等内容。仿真表明,该方法是可行和有效的。     

用矩阵法FTA 进行非单调关联系统的早期不交化

本文针对带有重复事件的非单调关联系统故障树,定义了非单调关联系统的割集矩阵及不交化最小割集矩阵,利用矩阵变换实现故障树的早期不交化,从而为求解复杂非单调关联系统,解决其ＮＰ困难问题,提供了一条新途径     

Bernoulli抵消策略的负顾客的M/G/1排队系统

负顾客的排队模型是排队论近年来的新兴分支。文中引入了带有B ernou lli抵消策略的负顾客的M/G/1排队模型,即到达的负顾客以概率p抵消队首正在接受服务的正顾客,以1-p的概率抵消队尾的正顾客,利用补充变量法,状态转移法和L变换,最后得到系统稳态队长的概率母函数。     

高层建筑消防给水系统存在问题探讨

高层建筑高度高、结构复杂、火灾蔓延途径多、人员疏散困难,发生火灾后如控制不及时,后果不堪设想。因此,对高层建筑防火设计的要求越来越严格,而消防给水则是最重要的一个部分。对高层建筑消防给水系统形式、室内外消火栓、水泵接合器的设置等几个方面问题进行了研究,希望能为从事此方面工作的人员提供借鉴。     

基于B/S模式的雷达装备远程故障诊断系统

探讨了基于B/S模式的雷达装备远程故障诊断系统,利用知识库、Web等技术构建了一个供雷达部队使用的雷达诊断网,对系统的体系结构和功能模块以及所涉及的关键技术进行了分析和研究,实现了雷达装备的实时监控和故障的自动诊断,提高了雷达装备的可靠性和雷达部队的应急抢修能力。     

遥感数据处理任务调度的Petri网模型及求解算法

为了对多源遥感数据的处理任务进行有效的调度和管理,提高处理资源的利用率,根据遥感数据处理任务调度问题的特点,采用Petri网对该问题进行形式化描述,建立了遥感数据处理任务调度的数学模型,根据该问题的多目标特性,采用蚁群算法进行求解.给出仿真实例,将蚁群算法的求解结果与启发式算法和模拟退火算法的求解结果进行比较,验证算法...     

分离模块航天器不确定性多学科设计优化

为了在分离模块航天器研制过程中充分考虑各类不确定性因素的影响,以此对全寿命周期成本、收益以及系统稳健性和灵活性进行综合评价和设计优化,本文对新概念航天器——分离模块航天器概念设计阶段的不确定性多学科设计优化(UMDO)进行了研究.首先,对UMDO方法进行了概述,对分离模块航天器UMDO的主要流程进行了介绍.其次,对分离...